($\backslash$p.At (get\_term\_arg `UA` p) (D 0) p)